- знак дизъюнкции
- disjunction sign мат.
Русско-английский научно-технический словарь Масловского. 2015.
знак дизъюнкции
Look at other dictionaries:
ЗНАК — материальный предмет (явление, событие), выступающий в качестве представителя некоторого др. предмета, свойства или отношения и используемый для приобретения, хранения, переработки и передачи сообщений (информации, знаний). Различают… … Философская энциклопедия
ИДЕМПОТЕНТНОСТЬ — (от лат. idem – тот же самый и potens – сильный, мощный; букв. – равносильность) – свойство нек рых объектов, рассматриваемое в логике (и алгебре) и выражаемое в общем случае формулой a*a=a. В частных случаях в формуле, выражающей И., может… … Философская энциклопедия
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
ОТРИЦАНИЕ — филос. категория, выражающая опре дел. тип отношения между двумя последоват. стадиями, состояниями развивающегося объекта. О. является необходимым моментом процесса развития. Диалектика в «...позитивное понимание существующего... включает … Философская энциклопедия
разделительное суждение — дизъюнктивное (от лат. disjunctio разобщаю) сложное суждение, образованное из двух или большего числа суждений с помощью логической связки или . Общая форма Р. с. имеет вид А1 v A2 v, ..., v An, где Аn суждение (член дизъюнкции, альтернатива), a… … Словарь терминов логики
Интуиционистское исчисление высказываний — Интуиционистское исчисление высказываний формальная система, отражающие некоторые способы рассуждений, приемлемые с точки зрения интуиционизма. Предложена А. Гейтингом в 1930. Основное отличие от привычного исчисления высказываний… … Википедия
ИСКЛЮЧЕННОГО ТРЕТЬЕГО ЗАКОН — закон классической логики, состоящий в том, что одно из двух высказываний Л и не Л является истинным. В математической логике И. т. з. выражается формулой где знак дизъюнкции, знак отрицания. С интуиционистской (конструктивной) точки зрения… … Математическая энциклопедия
Закон исключённого третьего — (лат. tertium non datur, то есть «третьего не дано») закон классической логики, состоящий в том, что из двух высказываний «А» или «не А» одно обязательно является истинным, то есть два суждения, одно из которых является… … Википедия
Tertium non datur — Закон исключённого третьего закон классической логики, состоящий в том, что из двух высказываний «А» или «не А» одно обязательно является истинным, т.е. два суждения, одно из которых является отрицанием другого, не могут быть одновременно… … Википедия
Закон исключенного третьего — Закон исключённого третьего закон классической логики, состоящий в том, что из двух высказываний «А» или «не А» одно обязательно является истинным, т.е. два суждения, одно из которых является отрицанием другого, не могут быть одновременно… … Википедия
Закон исключения третьего — Закон исключённого третьего закон классической логики, состоящий в том, что из двух высказываний «А» или «не А» одно обязательно является истинным, т.е. два суждения, одно из которых является отрицанием другого, не могут быть одновременно… … Википедия
